@kojunho7, thanks so much for the contribution. I verified that, without the fix, tests indeed do fail due to recursive inlining.

I can make a minor release (i.e., 13.1.0) containing this fix. Is there anything else you want to contribute before the release?

All set for now, thanks!

@vy When will 13.1.0 be released? Please release it if possible.

@kojunho7,

Dotty compiler 3.3.2 (cf. this thread) and 3.4.0 (cf. this thread) are due to be released very soon.

They fix our reproducibility problems in #34. Reproducibility is important for the Release Manager, who needs to justify that the artifacts generated by the CI are not corrupted.

@ppkarwasz, shared Dotty compiler release schedules point to the end of January and sometime in February, nothing concrete. We released 13.0.0 with the aforementioned reproducibility caveat, I think we can do the same for 13.1.0 too.

@kojunho7, will start the release process today. I expect the release to be delivered in ~3 days.